Большой энциклопедический политехнический словарь - алгебра логики

раздел матем. логики, изучающий высказывания, рассматриваемые со стороны их логич. значений (истинности или ложности), и логич. операции над ними. В А. л. принято отождествлять истинность высказывания с числом 1, а ложность - с числом О (А = 1 и С = 0 означает, что А истинно и что С ложно). Предметом изучения А. л. являются ф-ции, к-рые принимают лишь два значения: 0 или 1. Объединение простых высказываний в сложные в А. л. производится без учёта внутр. содержания (смысла) этих высказываний.